home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 4: GNU Archives / Linux Cubed Series 4 - GNU Archives.iso / gnu / glibc-1.09 / glibc-1 / glibc-1.09.1 / sysdeps / mach / hurd / i386 / trampoline.c < prev   
Encoding:
C/C++ Source or Header  |  1994-09-04  |  9.5 KB  |  272 lines
  1. /* Set thread_state for sighandler, and sigcontext to recover.  i386 version.
  2. Copyright (C) 1994 Free Software Foundation, Inc.
  3. This file is part of the GNU C Library.
  4.  
  5. The GNU C Library is free software; you can redistribute it and/or
  6. modify it under the terms of the GNU Library General Public License as
  7. published by the Free Software Foundation; either version 2 of the
  8. License, or (at your option) any later version.
  9.  
  10. The GNU C Library is distributed in the hope that it will be useful,
  11. but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13. Library General Public License for more details.
  14.  
  15. You should have received a copy of the GNU Library General Public
  16. License along with the GNU C Library; see the file COPYING.LIB.  If
  17. not, write to the Free Software Foundation, Inc., 675 Mass Ave,
  18. Cambridge, MA 02139, USA.  */
  19.  
  20. #include <hurd/signal.h>
  21. #include "thread_state.h"
  22. #include <assert.h>
  23. #include <errno.h>
  24. #include "hurdfault.h"
  25.  
  26.      
  27. struct mach_msg_trap_args
  28.   {
  29.     void *retaddr;        /* Address mach_msg_trap will return to.  */
  30.     /* This is the order of arguments to mach_msg_trap.  */
  31.     mach_msg_header_t *msg;
  32.     mach_msg_option_t option;
  33.     mach_msg_size_t send_size;
  34.     mach_msg_size_t rcv_size;
  35.     mach_port_t rcv_name;
  36.     mach_msg_timeout_t timeout;
  37.     mach_port_t notify;
  38.   };
  39.  
  40. struct sigcontext *
  41. _hurd_setup_sighandler (struct hurd_sigstate *ss, __sighandler_t handler,
  42.             int signo, int sigcode,
  43.             volatile int rpc_wait,
  44.             struct machine_thread_all_state *state)
  45. {
  46.   __label__ trampoline, rpc_wait_trampoline;
  47.   void *volatile sigsp;
  48.   struct sigcontext *scp;
  49.   struct 
  50.     {
  51.       int signo;
  52.       int sigcode;
  53.       struct sigcontext *scp;    /* Points to ctx, below.  */
  54.       struct sigcontext *return_scp; /* Same; arg to sigreturn.  */
  55.       struct sigcontext ctx;
  56.     } *stackframe;
  57.  
  58.   if (ss->context)
  59.     {
  60.       /* We have a previous sigcontext that sigreturn was about
  61.      to restore when another signal arrived.  We will just base
  62.      our setup on that.  */
  63.       if (_hurdsig_catch_fault (SIGSEGV))
  64.     assert (_hurdsig_fault_sigcode >= (int) ss->context &&
  65.         _hurdsig_fault_sigcode < (int) (ss->context + 1));
  66.       else
  67.     {
  68.       memcpy (&state->basic, &ss->context->sc_i386_thread_state,
  69.           sizeof (state->basic));
  70.       memcpy (&state->fpu, &ss->context->sc_i386_float_state,
  71.           sizeof (state->fpu));
  72.       state->set = (1 << i386_THREAD_STATE) | (1 << i386_FLOAT_STATE);
  73.       assert (! rpc_wait);
  74.       /* The intr_port slot was cleared before sigreturn sent us the
  75.          sig_post that made us notice this pending signal, so
  76.          _hurd_internal_post_signal wouldn't do interrupt_operation.
  77.          After we return, our caller will set SCP->sc_intr_port (in the
  78.          new context) from SS->intr_port and clear SS->intr_port.  Now
  79.          that we are restoring this old context recorded by sigreturn,
  80.          we want to restore its intr_port too; so store it in
  81.          SS->intr_port now, so it will end up in SCP->sc_intr_port
  82.          later.  */
  83.       ss->intr_port = ss->context->sc_intr_port;
  84.     }
  85.       /* If the sigreturn context was bogus, just ignore it.  */
  86.       ss->context = NULL;
  87.     }
  88.   else if (! machine_get_basic_state (ss->thread, state))
  89.     return NULL;
  90.  
  91.   if ((ss->actions[signo].sa_flags & SA_ONSTACK) &&
  92.       !(ss->sigaltstack.ss_flags & (SA_DISABLE|SA_ONSTACK)))
  93.     {
  94.       sigsp = ss->sigaltstack.ss_sp + ss->sigaltstack.ss_size;
  95.       ss->sigaltstack.ss_flags |= SA_ONSTACK;
  96.       /* XXX need to set up base of new stack for
  97.      per-thread variables, cthreads.  */
  98.     }
  99.   else
  100.     sigsp = (char *) state->basic.uesp;
  101.  
  102.   /* Push the arguments to call `trampoline' on the stack.  */
  103.   sigsp -= sizeof (*stackframe);
  104.   stackframe = sigsp;
  105.  
  106.   if (_hurdsig_catch_fault (SIGSEGV))
  107.     {
  108.       assert (_hurdsig_fault_sigcode >= (int) stackframe &&
  109.           _hurdsig_fault_sigcode <= (int) (stackframe + 1));
  110.       /* We got a fault trying to write the stack frame.
  111.      We cannot set up the signal handler.
  112.      Returning NULL tells our caller, who will nuke us with a SIGILL.  */
  113.       return NULL;
  114.     }
  115.   else
  116.     {
  117.       int ok;
  118.  
  119.       /* Set up the arguments for the signal handler.  */
  120.       stackframe->signo = signo;
  121.       stackframe->sigcode = sigcode;
  122.       stackframe->scp = stackframe->return_scp = scp = &stackframe->ctx;
  123.  
  124.       /* Set up the sigcontext from the current state of the thread.  */
  125.  
  126.       scp->sc_onstack = ss->sigaltstack.ss_flags & SA_ONSTACK ? 1 : 0;
  127.  
  128.       /* struct sigcontext is laid out so that starting at sc_gs mimics a
  129.      struct i386_thread_state.  */
  130.       memcpy (&scp->sc_i386_thread_state,
  131.           &state->basic, sizeof (state->basic));
  132.  
  133.       /* struct sigcontext is laid out so that starting at sc_fpkind mimics
  134.      a struct i386_float_state.  */
  135.       ok = machine_get_state (ss->thread, state, i386_FLOAT_STATE,
  136.                   &state->fpu, &scp->sc_i386_float_state,
  137.                   sizeof (state->fpu));
  138.  
  139.       _hurdsig_end_catch_fault ();
  140.  
  141.       if (! ok)
  142.     return NULL;
  143.     }
  144.  
  145.   /* Modify the thread state to call the trampoline code on the new stack.  */
  146.   if (rpc_wait)
  147.     {
  148.       /* The signalee thread was blocked in a mach_msg_trap system call,
  149.      still waiting for a reply.  We will have it run the special
  150.      trampoline code which retries the message receive before running
  151.      the signal handler.
  152.      
  153.      To do this we change the OPTION argument on its stack to enable only
  154.      message reception, since the request message has already been
  155.      sent.  */
  156.  
  157.       struct mach_msg_trap_args *args = (void *) state->basic.uesp;
  158.  
  159.       if (_hurdsig_catch_fault (SIGSEGV))
  160.     {
  161.       assert (_hurdsig_fault_sigcode >= (int) args &&
  162.           _hurdsig_fault_sigcode < (int) (args + 1));
  163.       /* Faulted accessing ARGS.  Bomb.  */
  164.       return NULL;
  165.     }
  166.  
  167.       assert (args->option & MACH_RCV_MSG);
  168.       /* Disable the message-send, since it has already completed.  The
  169.      calls we retry need only wait to receive the reply message.  */
  170.       args->option &= ~MACH_SEND_MSG;
  171.  
  172.       _hurdsig_end_catch_fault ();
  173.  
  174.       state->basic.eip = (int) &&rpc_wait_trampoline;
  175.       /* The reply-receiving trampoline code runs initially on the original
  176.      user stack.  We pass it the signal stack pointer in %ebx.  */
  177.       state->basic.ebx = (int) sigsp;
  178.       /* After doing the message receive, the trampoline code will need to
  179.      update the %eax value to be restored by sigreturn.  To simplify
  180.      the assembly code, we pass the address of its slot in SCP to the
  181.      trampoline code in %ecx.  */
  182.       state->basic.ecx = (int) &scp->sc_eax;
  183.     }
  184.   else
  185.     {
  186.       state->basic.eip = (int) &&trampoline;
  187.       state->basic.uesp = (int) sigsp;
  188.     }
  189.   /* We pass the handler function to the trampoline code in %edx.  */
  190.   state->basic.edx = (int) handler;
  191.  
  192.   return scp;
  193.  
  194.   /* The trampoline code follows.  This is not actually executed as part of
  195.      this function, it is just convenient to write it that way.  */
  196.  
  197.  rpc_wait_trampoline:
  198.   /* This is the entry point when we have an RPC reply message to receive
  199.      before running the handler.  The MACH_MSG_SEND bit has already been
  200.      cleared in the OPTION argument on our stack.  The interrupted user
  201.      stack pointer has not been changed, so the system call can find its
  202.      arguments; the signal stack pointer is in %ebx.  For our convenience,
  203.      %ecx points to the sc_eax member of the sigcontext.  */
  204.   asm volatile
  205.     (/* Retry the interrupted mach_msg system call.  */
  206.      "movl $-25, %eax\n"    /* mach_msg_trap */
  207.      "lcall $7, $0\n"
  208.      /* When the sigcontext was saved, %eax was MACH_RCV_INTERRUPTED.  But
  209.     now the message receive has completed and the original caller of
  210.     the RPC (i.e. the code running when the signal arrived) needs to
  211.     see the final return value of the message receive in %eax.  So
  212.     store the new %eax value into the sc_eax member of the sigcontext
  213.     (whose address is in %ecx to make this code simpler).  */
  214.      "movl %eax, (%ecx)\n"
  215.      /* Switch to the signal stack.  */
  216.      "movl %ebx, %esp\n");
  217.  
  218.  trampoline:
  219.   /* Entry point for running the handler normally.  The arguments to the
  220.      handler function are already on the top of the stack:
  221.  
  222.        0(%esp)    SIGNO
  223.        4(%esp)    SIGCODE
  224.        8(%esp)    SCP
  225.      */
  226.   asm volatile
  227.     ("call %*%%edx\n"        /* Call the handler function.  */
  228.      "addl $12, %%esp\n"    /* Pop its args.  */
  229.      "call %P0\n"        /* Call __sigreturn (SCP); never returns.  */
  230.      "hlt"            /* Just in case.  */
  231.      : : "i" (&__sigreturn));
  232.  
  233.   /* NOTREACHED */
  234.   return NULL;
  235. }
  236.  
  237. /* STATE describes a thread that had intr_port set (meaning it was inside
  238.    HURD_EINTR_RPC), after it has been thread_abort'd.  It it looks to have
  239.    just completed a mach_msg_trap system call that returned
  240.    MACH_RCV_INTERRUPTED, return nonzero and set *PORT to the receive right
  241.    being waited on.  */
  242. int
  243. _hurdsig_rcv_interrupted_p (struct machine_thread_all_state *state,
  244.                 mach_port_t *port)
  245. {
  246.   static const unsigned char syscall[] = { 0x9a, 0, 0, 0, 0, 7, 0 };
  247.   const unsigned char *volatile pc
  248.     = (void *) state->basic.eip - sizeof syscall;
  249.  
  250.   if (_hurdsig_catch_fault (SIGSEGV))
  251.     assert (_hurdsig_fault_sigcode >= (int) pc &&
  252.         _hurdsig_fault_sigcode < (int) pc + sizeof syscall);
  253.   else
  254.     {
  255.       int rcving = (state->basic.eax == MACH_RCV_INTERRUPTED &&
  256.             !memcmp (pc, &syscall, sizeof syscall));
  257.       _hurdsig_end_catch_fault ();
  258.       if (rcving)
  259.     {
  260.       /* We did just return from a mach_msg_trap system call
  261.          doing a message receive that was interrupted.
  262.          Examine the parameters to find the receive right.  */
  263.       struct mach_msg_trap_args *args = (void *) state->basic.uesp;
  264.  
  265.       *port = args->rcv_name;
  266.       return 1;
  267.     }
  268.     }
  269.  
  270.   return 0;
  271. }
  272.